Task Model
Fuel injection system (16 tasks, 46 shared data)
available in the TII 2010 paper "Optimal synthesis of communication procedures in real-time synchronous reactive models"
Task system (42 tasks, 36 resources)
Available in the RTS 1992 paper "Allocating hard real-time tasks: An NP-Hard problem made easy"
